inductive stepwise refinement

un. 归纳逐步求精